Czech Technical Univiersity in Prague Faculty of Electrical Engineering DIPLOMA
نویسنده
چکیده
The main aim of this diploma thesis is to perform a formal analysis of expressivity between two agent-oriented programming languages: AgentSpeak(L) and Behavioural state machines (BSM). Both languages incorporate different philosophies. The former works on the basis of the Belief-Desire-Intention paradigm, while the latter provides high level of modularity, and does not commit to any concrete technology. In this work, I propose the compiling function capable of translating the syntactic structures and semantic rules of AgentSpeak(L) into the formalism of BSM such that an agent and it’s translated equivalent can simulate each other. The proof based on the notion of translation bisimulation shows that BSM has at least the same expressive power as AgentSpeak(L).
منابع مشابه
Automatic Human Body Segmentation Using Mean-shift Clustering as Assistance in the Hyperthermia Treatment Planning
MEAN-SHIFT CLUSTERING AS ASSISTANCE IN THE HYPERTHERMIA TREATMENT PLANNING Jaroslav Vorlíček, Jan Rusz Department of Electromagnetic Field, Faculty of Electrical Engineering, Czech Technical University in Prague Department of Circuit Theory, Faculty of Electrical Engineering, Czech Technical University in Prague; Laboratory of Biocybernetics, Institute of Pathological Physiology, First Faculty ...
متن کاملCzech Technical University in Prague Faculty of Electrical Engineering DOCTORAL THESIS BY Petr Augusta December 2010
متن کامل
Mathematical modelling of male vocal tract
Karel Dedouch , Jaromír Horáček , Tomáš Vampola , Přemysl Kršek , Jan G. Švec d a Czech Technical University Prague, Faculty of Mechanical Engineering, Institute of Mechanics Technická 4, 16607 Prague 6, Czech Republic b Institute of Thermomechanics, Academy of Sciences, Dolejškova 5, 182 00 Prague 8, Czech Republic c Technical University Brno, Faculty of Mechanical Engineering Department of De...
متن کاملPhotocatalytic Degradation of Endocrine Disruptor Compounds in Water over Immobilized TiO2 Photocatalysts
Recently, the fate of endocrine disruptors in environmentally relevant samples has attracted considerable attention. Semiconductor photocatalysis may offer an appealing methodology to treat such contaminants. In this respect, the simultaneous degradation of synthetic hormones employing UV irradiation and TiO2 as the photocatalyst were investigated. Our interest was focused on des...
متن کاملAssessment of basic physical and dosimetric parameters of synthetic single-crystal diamond detector and its use in Leksell Gamma Knife and CyberKnife small radiosurgical fields
Background: To determine the basic physical and dosimetric properties of a new synthetic single-crystal diamond detector and its application for relative small field dosimetry. Materials and Methods: The pre-irradiation dose required to stabilize detector response, dose rate dependence, photon and electron energy dependence, temperature dependence and angular dependence of MicroDiamond detector...
متن کامل